首页> 外文OA文献 >Symstra: A framework for generating object-oriented unit tests using symbolic execution

【2h】

Symstra: A framework for generating object-oriented unit tests using symbolic execution

机译：Symstra：使用符号执行生成面向对象的单元测试的框架

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Tao Xie; Darko Marinov; Wolfram Schulte; David Notkin;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution [J] . J. Prelgauskas, E. Bareisa Electronics and Electrical Engineering . 2012,第6a122期

机译：使用组合动态符号执行的浮点嵌入式软件的单元测试
2. Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution [J] . J. Prelgauskas, E. Bareisa Electronics and Electrical Engineering . 2012,第6a122期

机译：使用组成动态符号执行生成浮点嵌入式软件的单元测试
3. Unit tests reloaded: parameterized unit testing with symbolic execution [J] . Tillmann N., Schulte W. IEEE Software . 2006,第4期

机译：重新加载单元测试：带符号执行的参数化单元测试
4. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution [C] . Tao Xie, Darko Marinov, Wolfram Schulte, International Conference on Tools and Algorithms for the Construction and Analysis of Systems(TACAS 2005) and Joint European Conferences on Theory and Practice of Software(ETAPS 2005); 20050404-08; Edinburgh(GB) . 2005

机译：Symstra：使用符号执行生成面向对象的单元测试的框架
5. An empirical study of test suites in practice against test suites generated by dynamic symbolic execution. [D] . Tanofsky, Philip. 2014

机译：对测试套件在实践中针对由动态符号执行生成的测试套件的实证研究。
6. A model-guided symbolic execution approach for network protocol implementations and vulnerability detection [O] . Shameng Wen, Qingkun Meng, Chao Feng, 2011

机译：用于网络协议实现和漏洞检测的模型指导的符号执行方法
7. Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution [O] . J. Prelgauskas, E. Bareisa 2012

机译：使用组成动态符号执行生成浮点嵌入式软件的单元测试

Symstra: A framework for generating object-oriented unit tests using symbolic execution

著录项

引文网络

相似文献

相关主题

期刊订阅